$\vdash$  $\forall$$b$:$\mathbb{B}$. (($\neg_{b}$$b$) = $b$) $\Leftarrow\!\Rightarrow$ False